Classical provability of uniform versions and intuitionistic provability Makoto Fujiwara∗ Mathematical Institute Tohoku University 6-3, Aramaki Aoba, Aoba-ku Sendai, Miyagi, Japan

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Proof theory
• Mathematical logic
• Logic
• Reverse mathematics
• Mathematics
• Philosophy of mathematics

Intuitionistic choice and restricted classical logic Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Symbol
• Operator theory
• Proof theory
• Differential forms on a Riemann surface
• It diffusion

Intuitionistic Logic Nick Bezhanishvili and Dick de Jongh Institute for Logic, Language and Computation Universiteit van Amsterdam Contents

Source URL: www.illc.uva.nl

MUltlog and MUltseq Reanimated and Married M. Baaz1 C.G. Ferm¨ uller1 1

Source URL: www.preining.info

• Proof theory
• Sequent calculus
• Sequent
• First-order logic
• Propositional calculus
• Intuitionistic logic
• Many-valued logic
• Cut-elimination theorem
• Method of analytic tableaux
• Mathematical logic
• Rule of inference
• Boolean algebra

Quantifier Elimination for quantified propositional logics on Kripke frames of type ω Matthias Baaz and Norbert Preining? Institute for Algebra and Computational Mathematics University of Technology, Vienna, Austria baa

Source URL: www.preining.info

• Model theory
• Non-classical logic
• Modal logic
• Philosophical logic
• Kripke semantics
• Sheaf theory
• Propositional calculus
• Interpretation
• Mathematical logic
• Intuitionistic logic
• First-order logic

Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic Minghui Ma1 , Alessandra Palmigiano2 , and Mehrnoosh Sadrzadeh3 1 2

Source URL: www.appliedlogictudelft.nl

Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents ´, Linda Postniece and Alwen Tiu Rajeev Gore

Source URL: www.aiml.net

Dualities for Intuitionistic Modal Logics Alessandra Palmigiano∗ Abstract We present a duality for the intuitionistic modal logic IK introduced by Fischer Servi in [10, 11]. Unlike other dualities for IK, the dual stru

Source URL: www.appliedlogictudelft.nl

Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents Lu´ıs Pinto1 and Tarmo Uustalu2 1

Source URL: cs.ioc.ee

Potential in…nity and intuitionistic logic Øystein Linnebo, Stewart Shapiro, and Geo¤rey Hellman 1

Source URL: cadillac-dk.weebly.com